5.70/6.51	unsat
