19.33/23.18	unsat
