5.88/7.82	unsat
