6.64/8.41	unsat
