17.68/20.05	unsat
