5.41/6.24	unsat
