5.48/7.60	unsat
