1.38/3.07	unsat
