16.85/18.63	unsat
