4.29/6.70	unsat
