16.44/18.95	unsat
