3.80/9.24	unsat
