4.07/6.13	unsat
