11.47/13.33	unsat
