6.87/8.41	unsat
