16.16/18.95	unsat
