14.88/19.83	unsat
