7.67/8.54	unsat
