19.03/24.58	unsat
