17.90/20.83	unsat
