5.87/9.70	unsat
