77.84/99.82	unsat
