23.43/26.62	unsat
