23.68/25.62	unsat
