16.97/18.61	unsat
