16.17/18.95	unsat
