11.87/13.11	unsat
