7.17/8.52	unsat
