6.67/11.30	unsat
