17.37/20.02	unsat
