8.96/12.10	unsat
