7.77/8.41	unsat
