1.38/1.94	unsat
