5.32/7.48	unsat
