5.10/6.31	unsat
