19.94/21.07	unsat
