19.69/21.93	unsat
