8.87/11.11	unsat
