23.62/24.62	unsat
