6.43/6.70	unsat
