7.68/8.54	unsat
