8.42/12.60	unsat
