11.87/13.05	unsat
