5.48/7.89	unsat
