1.38/3.70	unsat
