1.38/2.00	unsat
