9.40/11.60	unsat
