11.78/13.73	unsat
