9.85/12.10	unsat
