1.38/1.71	unsat
