5.40/6.18	unsat
