17.93/20.46	unsat
