1.38/2.69	unsat
