2.47/4.24	unsat
