1.38/1.73	unsat
