16.16/19.54	unsat
