20.35/24.35	unsat
