16.85/16.91	unsat
