1.69/1.89	unsat
