1.19/1.71	unsat
