18.55/24.58	unsat
