3.88/6.31	unsat
