8.87/11.60	unsat
