23.33/24.62	unsat
