14.77/18.83	unsat
