19.53/23.35	unsat
