17.83/20.83	unsat
