5.48/7.02	unsat
