7.87/8.54	unsat
