1.69/1.78	unsat
