6.48/10.60	unsat
