5.67/6.35	unsat
