4.80/6.31	unsat
