16.34/19.02	unsat
