5.48/7.48	unsat
