8.42/12.10	unsat
