19.97/21.93	unsat
