16.85/16.94	unsat
