19.35/23.01	unsat
