11.28/13.94	unsat
