0.38/0.96	unsat
