1.49/1.71	unsat
