8.87/11.69	unsat
