1.38/1.96	unsat
