0.38/0.65	unsat
