1.18/1.71	unsat
