5.67/5.99	unsat
