18.97/20.22	unsat
