4.60/6.81	unsat
