8.87/11.65	unsat
