1.69/2.89	unsat
