5.64/5.70	unsat
