6.48/7.60	unsat
