1.38/1.80	unsat
