0.38/1.07	unsat
