11.66/13.77	unsat
