8.66/11.65	unsat
