5.47/6.24	unsat
