6.01/7.24	unsat
