5.04/6.31	unsat
