17.23/21.63	unsat
