6.67/8.36	unsat
