9.84/11.60	unsat
