7.91/11.30	unsat
