0.10/0.10	unsat
