5.18/6.42	unsat
