23.25/26.64	unsat
